Intensional Semantics of System of G�del
نویسندگان
چکیده
منابع مشابه
Finite state intensional semantics
Suppose possible worlds are strings, rather than physically structured worlds like ours. Then the proposition corresponding to a sentence or a formula in logical language is a set of strings; an epistemic acquaintance relation is a relation between strings; and in a relational construction of partition semantics for questions, a question meaning is a relation between strings. If discourse refer...
متن کاملIntensional verbs in event semantics
ly, ‘as such’, following ‘Superman’ in ( 2 a), that is, if ( 2 a) means ( 3 ) Lois believes that Superman, as such, can fly. Here ‘such’ refers not to the name ‘Superman’, but by a kind of deferred ostension, through the name to something associated with it. Of course, there is no need to deny that ( 2 a) can also be understood in a way that legitimizes substitution, or in the standard jargon, ...
متن کاملExtensional and Intensional Semantics of pUML Objects
Language UML (Unified Modeling Language) brought new generation into specification, realization and documentation of information systems and thanks to its open architecture it becomes as standard. Naturally, there have come different kinds of lacks, where the most important is probably the fact, that the semantic is defined using natural language. This finally results in many imperfections, for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)01218-1